Evaluation of automated design testing using Alloy

Författare
Johannes Andersson
(Johannes Andersson., Examensarbete)
Språk
Engelska
Förlag År Ort Om boken ISBN
Department of Computer Science, Lund University 2007 Sverige, Lund 42 sidor.